:: IORef a -> (a -> a) package:safe
The largest element of a foldable structure. The result is bounded by
the value given as the first argument.
The smallest element of a foldable structure. The result is bounded by
the value given as the first argument.